Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
241	COMS11700 Pushdown automata Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:32 Computer science Pushdown automaton Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Stack Deterministic pushdown automaton Nested word Automata theory Models of computation Theoretical computer science
242	On the construction of convergent transfer subgraphs in general labeled directed graphs 38th CGTC 7 March 2007 Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Automata theory Finite-state machine Vertex Tree Graph NP-complete problems Directed acyclic graph Ancestral graph Graph theory Theoretical computer science Mathematics
243	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:28:09 Büchi automaton Regular language DFA minimization Finite-state machine Turing machine Deterministic automaton Ω-automaton Automata theory Theory of computation Theoretical computer science
244	Good-for-Games Automata versus Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2015-01-14 10:24:46 Science Philosophy of science Automata theory Finite-state machine Determinism
245	Foundations of Software Technology and Theoretical Computer ScienceSubmission Quasi-Weak Cost Automata: A New Variant of Weakness∗ Denis Kuperberg1 , Michael Vanden Boom2 1 L IAFA /CNRS/Universit´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Mathematics Ω-automaton Büchi automaton Semiautomaton Alphabet Finite-state machine Muller automaton Automata theory Theoretical computer science Computer science
246	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
247	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 10:00:53 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory
248	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
249	D:/Publications/MoSCoE/ecows-2006/ECOWS-2006.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-21 19:42:45 Applied mathematics Finite-state machine Function Phase transition Algorithm Mathematics Models of computation Automata theory
250	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-01 05:10:06 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics

UPDATE